Architecture Level Safety Analyses for Safety-Critical Systems

From Safety Integrity Level to Assured Reliability and Resilience Level for Compositional Safety Critical Systems

Safety engineering standards define rigorous and controllable processes for system development. Nevertheless, safety standards differences from distinct domains are non-negligible. We focus in particular on the aviation, automotive and railway standards, all related to the transportation market. We argue that the Safety Integrity Levels are not sufficient to be used as a top level requirement f...

Safety - Critical Systems Design

Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...

SysML Aided Safety Analysis for Safety-Critical Systems

Java in Safety Critical Systems

Until recently, the preferred language for developing safety critical applications has been Ada, but this is beginning to change. The number of developers willing to program in Ada is diminishing, while the complexity of applications is increasing. Where as C and C++ are poor alternatives to Ada, realtime Java specifications have benefited from strong cross fertilisation from the Ada community,...

Negligence: Engineering Safety-Critical Systems